Skip to main content
Scour
Browse
Getting Started
Login
Sign Up
You are offline. Trying to reconnect...
Close
You're currently offline. Some features may not work.
Close
Copied to clipboard
Close
Unable to share or copy to clipboard
Close
🎲 Property Testing
QuickCheck, Hypothesis, Generative Testing, Invariant Checking
Filter Results
Timeframe
Fresh
Past Hour
Today
This Week
This Month
Feeds to Scour
Subscribed
All
Scoured
82710
posts in
441.6
ms
Building
Reliable
AI Applications: A
Validation
Strategy
dev.to
·
2h
·
Discuss:
DEV
✅
Configuration Validation
Reducing
the Costs of Proof Synthesis on Rust Systems by Scaling Up a
Seed
Training Set
arxiv.org
·
2d
🔒
Rust Borrowing
Testing can be
fun
, actually
giacomocavalieri.me
·
1d
·
Discuss:
Hacker News
🎲
Test Generators
Automatic
WS2812
Characterization
cpldcpu.com
·
14h
🔧
WASI
Tip of the Week #158:
Abseil
Associative
containers and contains()
abseil.io
·
15h
🗂️
Type Indexing
My Most Important C++
Aha
!
Moments
...Ever
artima.com
·
15h
🔬
Nanopasses
Full-circle Test-driven
Firmware
Development with
OpenClaw
blog.adafruit.com
·
22h
·
Discuss:
Hacker News
🧪
Testing Compilers
AI
Watermark
&
Stego
Scanner (Text + Code)
ulrischa.github.io
·
19h
·
Discuss:
Hacker News
🔤
Regex Engines
gharasathi
(
घर
ासाठी) — A Privacy-First Household AI Running on a $200 Mini PC
amazon.com.au
·
9h
·
Discuss:
DEV
💬
Smalltalk VMs
Common
Manual
Testing
Techniques
and The Future Of
Manual
Testing in the age of AI
dev.to
·
1d
·
Discuss:
DEV
🧪
Zig Testing
Differential
Logic
• 4
inquiryintoinquiry.com
·
29m
∫
Mathematical DSLs
**Abstract:** This paper introduces a novel framework, Automated Protocol Verification and Optimization via Multi-Modal Data Fusion and
Recursive
HyperScore
...
freederia.com
·
2d
💓
Live Variable Analysis
Rob
Pike
's Simple Regular
Expressions
bruceediger.com
·
11h
🔤
Regex Engines
Bayes
,
E-values
and Testing
arxiv.org
·
3d
✨
Effect Inference
From Prediction to
Compilation
: A Manifesto for
Intrinsically
Reliable AI
news.ycombinator.com
·
1h
·
Discuss:
Hacker News
🚂
Error Propagation
Unlocking core memories with
GoldSrc
engine and
CS
1.6 (2025)
danielbrendel.com
·
1h
·
Discuss:
Hacker News
📏
Linear Memory
Raw
or
typed
ziggit.dev
·
23h
📝
Rope Editors
Build a
Compiler
in Five Projects
kmicinski.com
·
1d
🎭
Racket Modules
Why
Penguins
Don't Build
Nests
in Trees and Why That Matters for AI
erikzaadi.com
·
2h
💬
Interactive REPLs
learning by
reverse
engineering
clymup.com
·
23h
🔓
Decompilers
Loading...
Loading more...
Page 2 »
Keyboard Shortcuts
Navigation
Next / previous item
j
/
k
Open post
o
or
Enter
Preview post
v
Post Actions
Love post
a
Like post
l
Dislike post
d
Undo reaction
u
Recommendations
Add interest / feed
Enter
Not interested
x
Go to
Home
g
h
Interests
g
i
Feeds
g
f
Likes
g
l
History
g
y
Changelog
g
c
Settings
g
s
Browse
g
b
Search
/
Pagination
Next page
n
Previous page
p
General
Show this help
?
Submit feedback
!
Close modal / unfocus
Esc
Press
?
anytime to show this help